interactive proof中文是什么意思

发音:

中文翻译
造句

交互式证明

interactive adj. 相互作用的，相互影响的，互动的。 n. 交互式视频设备。
-proof 后缀表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
a proof 防原子的
a-proof 防原子的
in proof of 作...的证据
proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面)证词，证言。 2.检验，考验；验算；检定的品质[强度等]。 3.试管。 4.【印刷】校样，印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力，坚牢强度，不贯穿性。 7.【摄影】样片；样张。 8.[Scot.] 审问。 9.【数学】证，证明，证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知；空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试，试验。 have proof of shot 能防弹，能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的，有保证的；(酒)合标准的，规定的。 2.校样的。 3.(子弹等)不入的，耐…的，防…的。 a proof coin 标准货币，制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。
proof of will 遗嘱证明, 遗嘱认证
bmc interactive 滚石音乐集团的“互动”公司（世界著名娱乐光盘制造商）
fox interactive 当时刚与福克斯互动; 福克斯电影公司的多媒体部，专出影视剧软件（世界著名娱乐光盘制造商）
harris interactive 调查公司; 哈里斯互动公司
interactive advertisement 互动广告
interactive advertising 互动式广告; 交互广告; 交互式广告
interactive agency 互联广告公司
interactive analysis 交互分析; 交互作用分析
interactive approach 互动研究方法
interactive art 互动艺术
interactive arts 互动艺术学
interactive boot 交互式引导
interactive channel 和交互信道
interactive check 交互检查
interactive command 交谈式指令列
interactive compiler 交互式编译
interactive computer 对话式计算机; 交互式计算机
interactive computing 交互计算; 交互式计算
interactive content 互动式内容; 交互式内容

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Our task is to develop the first interactive proof assistant for the-calculus . we call it pim ( the pi-calculus manipulator )
我们的工作就是为-演算设计并实现第一个交互式的验证工具pim(thepi-calculusmanipulator)。
The topics covered in this course include interactive proofs, zero-knowledge proofs, zero-knowledge proofs of knowledge, non-interactive zero-knowledge proofs, secure protocols, two-party secure computation, multiparty secure computation, and chosen-ciphertext security
本课程所涵盖的主题包含有互动式证明，零知识证明，知识的零知识证明，非互动式零知识证明，安全协定，双方安全计算，多方安全计算与选择密文安全性。
Users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity; chapter 9 on provable intractability, and chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing
早期版本的读者将惊奇的发现新增的有关复杂性理论的章节：第8章，空间复杂性；第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。
Our work includes the following three aspects . first, aiming at designing a suitable version of the unique fixpoint induction from the application point of view, we generalized lin's version and got the final version we needed . second, we implemented pim, the first interactive proof assistant for the-calculus
主要工作和成果包括如下三个方面：首先，为了处理递归，我们对lin给出的适合于理论研究的唯一不动点归纳法进行了扩展，得到了所需要的适合于应用的一般化的版本。
In cryptology technology, which can be used to create digital evidence, we addressed three problems : a encryption scheme integrated fault tolerance and digital signature, a identification protocol based on zero-knowledge interactive proof, digital signature included single digital signature, multiple digital signature and ( n, t ) threshold digital signature . 5 . the sk protocol was improved and s
4.在适合生成数字证据的密码学技术研究中提出了:一个集成数据签名和容错技术并能在加密、传送、解密和认证三个过程中实现容错的rsa加密方案;一个基于零知识证明的身份认证协议;基于零知识证明的数字签名方案。

推荐英语阅读

interactive proof的中文翻译，interactive proof是什么意思，怎么用汉语翻译interactive proof，interactive proof的中文意思，interactive proof的中文，interactive proof in Chinese，interactive proof的中文，interactive proof怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Thu, 14 Aug 2025 00:29:56 GMT